<!DOCTYPE html>
<!--
  ~  Copyright 2018 Alexey Andreev.
  ~
  ~  Licensed under the Apache License, Version 2.0 (the "License");
  ~  you may not use this file except in compliance with the License.
  ~  You may obtain a copy of the License at
  ~
  ~       http://www.apache.org/licenses/LICENSE-2.0
  ~
  ~  Unless required by applicable law or agreed to in writing, software
  ~  distributed under the License is distributed on an "AS IS" BASIS,
  ~  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  ~  See the License for the specific language governing permissions and
  ~  limitations under the License.
  -->

<html>
<head>
    <title>TeaVM debug options</title>
    <style type="text/css">
        body {
            margin: 1em;
        }

        * {
            font-size: 14pt;
            font-family: sans-serif;
        }

        .form-item {
            margin-top: 0.5em;
            margin-bottom: 0.5em;
        }

        .form-item label {
            font-weight: bold;
        }
    </style>
</head>
<body>

<div class="form-item">
    <label for="port">Port:</label>
    <input name="port" id="port" type="number" min="1" max="65535">
</div>

<div class="form-item">
    <button id="save">Save</button>
</div>

<script src="options.js"></script>
</body>
</html>